Combining Qualitative and Quantitative Analysis of Generalized Stochastic Petri Nets
نویسنده
چکیده
Generalized Stochastic Petri nets (GSPNs) comprise two types of transitions: timed and immediate. Since ring of immediate transitions has priority on ring of timed transitions several properties of the underlying Petri net need not be valid for the GSPN. This article proves that liveness and the existence of home states of equal connict nets, a generalisation of extended free choice nets, carry over to the time-augmented net ii connicting transitions are either timed or immediate. This implies the existence of the steady state distribution of the corresponding Markov process for bounded nets.
منابع مشابه
"qn + Pn = Qpn" Combining Queueing Networks and Petri Nets
Topics: higher-level net models, timed and stochastic nets. Abstract System analysis is often done due to qualitative and quantitative aspects. Queueing networks and Petri nets are suitable and wide spread model worlds for such a form of analysis, because for both a well founded theory exists. The problem is that Petri nets and queueing networks are only suitable for qualitative analysis resp. ...
متن کاملQueueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems
System analysis is often needed with respect to both qualitative and quantitative aspects. In the last decades, several formalisms have been developed that attempt to combine these aspects in one description. Present emphasis is on Stochastic Petri Nets. Amongst others, one disadvantage of these formalisms lies with the diiculties when describing scheduling strategies with Petri Net elements. T...
متن کاملModeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملRobotic Tasks Modeling and Analysis Based on Petri Nets∗
This paper proposes a method of defining and analysing robotic tasks using Petri Nets. Both the robot behaviors and environment are modelled using Generalized Stochastic Petri Nets (GSPNs). Each action is modelled separately and composed with others to provide a complete task execution. The use of Petri Nets allows the qualitative and quantitative analysis of the task execution.
متن کاملQPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets
Synchronisation and concurrency aspects as well as sharing of resources are common features of distributed systems. Modelling the last aspect, especially the scheduling strategy amongst competing jobs, can be extremely hard using (Coloured) Generalized Stochastic Petri nets (CGSPNs). Queueing Petri nets (QPNs) provide additional elements for a convenient speciication of such queueing situations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994